Damages upon Repudiation of a Contract

Specific Performance versus Damages for Breach of Contract

When would parties to a contract want performance to be specifically required, and when would they prefer payment of money damages to be the remedy for breach? This fundamental question is studied here, and an answer is provided that is based on a simple distinction between contracts to produce goods and contracts to convey property. Setting aside qualifications, the conclusion for breach of co...

Contract Renegotiation, Mechanism Design, and the Liquidated Damages Rule

a juridical reflection upon validity of full age for marriage in the marriage contract

0

Automatic Analysis of a Non-Repudiation Protocol

We define a probabilistic model for the analysis of a Non-Repudiation protocol that guarantees fairness, without resorting to a trusted third party, by means of a probabilistic algorithm. By using the PRISM model checker, we estimate the probability for a malicious user to break the non-repudiation property, depending on various parameters of the protocol.

Formal Analysis of a Non-Repudiation Protocol

This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authentication and key-exchange protocols in that the participants require protection from each other, rather than from an external hostile agent. This means that the kinds of properties that are required of such a protocol, ...